Solving Parallel Equations with BALM-II

نویسندگان

  • G. Castagnetti
  • M. Piccolo
  • T. Villa
  • N. Yevtushenko
  • A. Mishchenko
  • Robert K. Brayton
  • R. Brayton
چکیده

In this report we describe how to solve parallel language equations over regular languages / automata and finite state machines (FSMs), using the software package BALM-II, which is an extended version of BALM. The original BALMwas able to solve equations only with respect to synchronous composition; we extended it to solve also equations with respect to parallel composition, adding new commands and procedures. This document serves as an user’s manual of BALM-II. Finally, as an important application, we describe how to synthesize protocol converters with BALM-II.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Automated Synthesis of Protocol Converters with BALM-II

We address the problem of the automatic design of automata to translate between different protocols, and we reduce it to the solution of equations defined over regular languages and finite automata (FA)/finite state machines (FSMs). The largest solution of the defined language equations includes all protocol converters that solve the problem; this is a strong advantage over computational techni...

متن کامل

Solving a New Multi-objective Unrelated Parallel Machines Scheduling Problem by Hybrid Teaching-learning Based Optimization

This paper considers a scheduling problem of a set of independent jobs on unrelated parallel machines (UPMs) that minimizesthe maximum completion time (i.e., makespan or ), maximum earliness ( ), and maximum tardiness ( ) simultaneously. Jobs have non-identical due dates, sequence-dependent setup times and machine-dependentprocessing times. A multi-objective mixed-integer linear programmi...

متن کامل

Perturbation-Iteration Algorithm for Solving Heat and Mass Transfer in the Unsteady Squeezing Flow between Parallel Plates

In this paper, heat and mass transfer in the unsteady squeezing flow between parallel plates is analyzed using a perturbation-iteration algorithm. The similarity transformation is used to transform the governing partial differential equations into ordinary differential equations, before being solved. The solutions of the velocity, temperature and concentration are derived and sketched to explai...

متن کامل

Developing a bi-objective optimization model for solving the availability allocation problem in repairable series–parallel systems by NSGA II

Bi-objective optimization of the availability allocation problem in a series–parallel system with repairable components is aimed in this paper. The two objectives of the problem are the availability of the system and the total cost of the system. Regarding the previous studies in series–parallel systems, the main contribution of this study is to expand the redundancy allocation problems to syst...

متن کامل

Kinematic Synthesis of Parallel Manipulator via Neural Network Approach

In this research, Artificial Neural Networks (ANNs) have been used as a powerful tool to solve the inverse kinematic equations of a parallel robot. For this purpose, we have developed the kinematic equations of a Tricept parallel kinematic mechanism with two rotational and one translational degrees of freedom (DoF). Using the analytical method, the inverse kinematic equations are solved for spe...

متن کامل

ذخیره در منابع من

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011